MGI:3628942 havelock http://identifiers.org/mgd/MGI:3628942 hvlk